TAGs: proof geometric construction